min max [ Y , max $partialdiff sub X$ $partialdiff sub Y$ ( WORLDBATH bath ) ]